The decidability of the logic of pure ticket entailment means that the problem of inhabitation of simple types by combinators over the base { B, B′, I, W } is decidable too. Type-assignment systems are often formulated as natural deduction systems. However, our decision procedure for this logic, which we presented in earlier papers, relies on two sequent calculi and it does not yield directly a combinator for a theorem of ${T_\to}$. Here we describe an algorithm to extract an inhabitant (...) from a sequent calculus proof—without translating the proof into another proof system. (shrink)

In a single volume intended for philosophy students of all levels as well as their teachers, this reader provides modern, accurate translations of the texts necessary for a careful study of most aspects of Aristotle's philosophy. Professor Ackrill has drawn on his broad experience of teaching graduate classes in selecting the texts, and his choice reflects issues of current philosophical interest as well as the perennial themes. Only recent translations which achieve a high level of accuracy have been chosen: the (...) aim is to place the reader without Greek, as nearly as possible, in the position of a reader of Greek. As an aid to study, a valuable guide to the key topics covered is also suppied, giving references to works or passages contained in the reader, an indication of their interrelation, and a currnet bibliography. (shrink)

Using resource dependency and institutional theories, we create and test a model examining the relationships among senior management commitment, resource allocations, and the structure of public affairs departments. Using a large sample of U.S.-based firms, we find a positive relationship between senior management commitment to the public affairs function and the level of human and monetary resources allocated to the public affairs department. Furthermore, firms structure their public affairs responsibilities into three common activity sets: communications, collaborations, and local activities. These (...) common activities are, in turn, positively associated with senior management commitment and resources allocated to the public affairs department. (shrink)

In Wrong Medicine, Lawrence J. Schneiderman, M.D., and Nancy S. Jecker, Ph.D., address issues that have occupied the media and the courts since the time of Karen Ann Quinlan. The authors examine the ethics of cases in which medical treatment is offered--or mandated--even if a patient lacks the capacity to appreciate its benefit or if the treatment will still leave a patient totally dependent on intensive medical care. In exploring these timely issues Schneiderman and Jecker reexamine the doctor-patient relationship and (...) call for a restoration of common sense and reality to what we expect from medicine. They discuss economic, historical, and demographic factors that affect medical care and offer clear definitions of what constitutes futile medical treatment. And they address such topics as the limits on unwanted treatment, the shift from the "Age of Physician Paternalism" to the "Age of Patient Autonomy," health care rationing, and the adoption of new ethical standards. (shrink)

Originally published in Proceedings of the British Academy 60 (1974), 339-359.

‘Unfair to Facts’ is a follow-up on Ch. 5, addressing objections Peter Strawson raised against Austin’s view of truth as a description of the conditions that must be satisfied if we are to say of a statement that it is true. Austin addresses the objection that his description of these conditions is due to a misunderstanding about the use of ‘fact’, arguing, against Strawson, that facts are not pseudo-entities and that the notion of ‘fitting the facts’ is not a useless (...) notion. (shrink)

Seven lectures graced the second in the annual series at the Irish college devoted to the 13th-century saint and theologian. The topics include friendship and love, the desire for happiness as a way to God, the separated soul's natural knowledge, and truth as a good. Appended is a guide to consultat.

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

Examining those risk and benefit perceptions utilised in the formation of attitudes and opinions about emerging technologies such as nanotechnology can be useful for both industry and policy makers involved in their development, implementation and regulation. A broad range of different socio-psychological and affective factors may influence consumer responses to different applications of nanotechnology, including ethical concerns. A useful approach to identifying relevant consumer concerns and innovation priorities is to develop predictive constructs which can be used to differentiate applications of (...) nanotechnology in a way which is meaningful to consumers. This requires elicitation of attitudinal constructs from consumers, rather than measuring attitudes assumed to be important by the researcher. Psychological factors influencing societal responses to 15 applications of nanotechnology drawn from different application areas were identified using repertory grid method in conjunction with generalised Procrustes analysis. The results suggested that people differentiate nanotechnology applications based on the extent to which they perceive them to be beneficial, useful, necessary and important. The benefits may be offset by perceived risks focusing on fear and ethical concerns. Compared to an earlier expert study on societal acceptance of nanotechnology, consumers emphasised ethical issues compared to experts but had less concern regarding potential physical contact with the product and time to market introduction. Consumers envisaged fewer issues with several applications compared to experts, in particular food applications. (shrink)

Deals with the question of whether there is a use of ‘is true’ that is the primary or generic name for that which at bottom we are always saying ‘is true’. Austin discusses the views that truth is primarily a property of beliefs and of true statements. He goes on to argue that the word ‘true’ denotes the validity of an intended correspondence between a representation and what it represents, and dismantles confusions about the meaning of the words that underlie (...) such a view, such as ‘fact that’ and ‘corresponds’. (shrink)